eclor($a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr inr inr (inl $<$$a$, $b$$>$ )